Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
131	PAPER IDENTIFICATION NUMBER 1 Temporal Synchronization of Video Sequences in Theory and in Practice Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2005-11-07 20:09:23 Video formats Video signal Data transmission Frame synchronization Synchronization Frame rate Epipolar geometry Frame Film frame Video Television Electronic engineering
132	GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE PRELIMINARY EXAMINATION There are eight questions. Partial credit may be assigned for substantially correct partially worked solutions. To pass, you need a score of roughly f Add to Reading List Source URL: logic.berkeley.edu Language: English Model theory Structure Constructible universe Symbol Peano axioms Linear temporal logic Forcing Mathematical logic Mathematics Logic
133	Test functions, distributions, and Sobolev’s lemma Jordan Bell Department of Mathematics, University of Toronto May 22, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-05-22 16:16:17 Mathematical analysis Mathematics Spectral theory of ordinary differential equations Linear temporal logic Constructible universe Locally convex topological vector space Operator theory
134	Implementation and Evaluation of a Partitioned Store for Transaction-Time Databases Manigantan Sethuraman Add to Reading List Source URL: timecenter.cs.aau.dk Language: English - Date: 2011-09-02 07:26:17 Database theory Software Relational database management systems Cross-platform software MySQL SQL Temporal database Database Berkeley DB Data management Database management systems Computing
135	Orbital stability for NLS Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Let n = 3, and take p < 43 . Some of the material we will present for general Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:52:33 Temporal logic Μ operator Operator theory Differential geometry Linear temporal logic
136	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
137	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
138	The Complexity of Model Checking Multi-Stack Systems Benedikt Bollig Laboratoire Sp´ecification et V´erification, ´ Ecole Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-08-22 11:45:56 Mathematics Symbol Nested word Temporal logic Interpretation Structure Linguistics Normal distribution Formal languages Model theory Logic
139	The Legendre transform Jordan Bell Department of Mathematics, University of Toronto April 25, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-25 15:26:47 Locally convex topological vector space Calculus of variations Fourier transform Legendre transformation Partial differential equation Constructible universe Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Fourier analysis
140	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:15 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic

UPDATE